61. Mathematics of the transcendental /
پدیدآورنده : Alain Badiou ; edited, translated and with an introduction by A. J. Bartlett and Alex Ling
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics),Ontology,Transcendental logic
رده :
BD312
.
B3413
2014
62. Meaning and argument :an introduction to logic through language
پدیدآورنده : Ernest Lepore with Sam Cumming
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Logic.,Language and logic.
63. Meaning change in grammaticalization :
پدیدآورنده : Regine Eckardt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Grammar, Comparative and general-- Grammaticalization.,Semantics, Historical.,Bedeutungswandel.,Bedeutungswandel.,Grammar, Comparative and general-- Grammaticalization.,Grammatikalisation.,Grammatikalisation.,Semantics, Historical.
رده :
P299
.
G73
E27
2006
64. Paraconsistent Logic
پدیدآورنده : by Walter Carnielli, Marcelo Esteban Conigli,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Negation )Logic(,Philosophy,Knowledge, Theory of,Logic,Electronic books
رده :
EBOOK
,
BC
.
N4
199
65. Practical aspects of declarative languages :
پدیدآورنده : PADL 2000, Boston, MA, USA, January 17- 18, 2000. Enrico Pontelli ; Vítor Santos Costa (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : ;Deklarative Programmiersprache,Boston Mass., 2000>,Deklarative Programmiersprache.
66. Pragmatics, truth and underspecification :
پدیدآورنده : edited by Ken Turner, Laurence Horn.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Pragmatics.,Semantics.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Historical & Comparative.,Pragmatics.,Semantics.
رده :
P325
.
P637
2018
67. Principles of logic and logic programming /
پدیدآورنده : G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
رده :
QA76
.
63
.
M473
1996eb
68. Probability in the Sciences
پدیدآورنده : edited by Evandro Agazzi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Metaphysics.,Philosophy (General)
69. Progress in artificial intelligence :
پدیدآورنده : 8th Portuguesse Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 ; Ernesto Costa, Amilcar Cardoso (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- avtomatsko sklepanje -- dokazovanje teoremov -- strojno učenje -- sistemi učenja -- predstavitev znanja -- načini učenja -- inteligentni učni sistemi -- kakovostno sklepanje -- zborniki
70. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
71. Raising pure hell :
پدیدآورنده : Peterson Ii, Victor
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
72. Reasoning with Actual and Potential Contradictions
پدیدآورنده : edited by Philippe Besnard, Anthony Hunter.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
رده :
Q375
.
E358
1998
73. Scandalous Figures:
پدیدآورنده : Campion, Amy Thomas
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
74. Suspending the Desire for Recognition:
پدیدآورنده : Gonzalez, Jorge Manuel
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
75. Systems of logic /
پدیدآورنده : Norman M. Martin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic.,Logik,Logique.,Symbolische logica.
رده :
BC135
.
M325
1989
76. Techniques of Prolog programming : with implementation of logical negation and quantified goals
پدیدآورنده : Van Le, T.
کتابخانه: (طهران)
موضوع : Prolog )Computer program language( , Negation )Logic(
رده :
QA
76
.
73
.
P76
V36
1993
77. <The> Bloomsbury Companion to Philosophical Logic
پدیدآورنده : \ edited by Leon Horsten and Richard Pettigrew
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق, -- Study and teaching, -- راهنمای آموزشی,a03,a03
رده :
BC95
.
B4
2014
78. <The> History of Low German Negation
پدیدآورنده : \ Anne Breitbarth.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Low German language-- Grammar.,Grammar, Comparative and general-- Negatives.,Negation (Logic),دستور زبان تطبیقی-- ادات نفی ,(نفی(منطق
رده :
PF
5609
.
B7H5
2014
E-Book
,
79. <The> History of Negation in the Languages of Europe and the Mediterranean
پدیدآورنده : \ edited by David Willis, Christopher Lucas, and Anne Breitbarth.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Grammar, Comparative and general-- Negatives.,Negation (Logic),Europe, Languages.,دستور زبان تطبیقی-- ادات نفی ,(نفی(منطق ,اروپا -- زبان‌ها
رده :
P
299
.
H5
2013
E-Book
,
80. The Kyoto school :
پدیدآورنده : Robert E. Carter; with a foreword by Thomas P. Kasulis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Nishida, Kitarō,1870-1945,Nishitani, Keiji,1900-1990,Tanabe, Hajime,1885-1962,Nothing (Philosophy),Philosophy, Japanese-- 20th century
رده :
B5241
.
C37
2013
